Энциклопедический словарь, 1998 г.
теорема тригонометрии, устанавливающая соотношения между сторонами a, b, c произвольного треугольника и косинусом угла С между сторонами a и b: c2 = a2 + b2 - 2abcosC.
Большая Советская Энциклопедия
теорема тригонометрии, утверждающая, что квадрат стороны треугольника равен сумме квадратов двух других его сторон без удвоенного произведения этих сторон на косинус угла между ними;
c2 =а2 + b2 -2ab cos a,
где а, b, с ≈ стороны треугольника, а a≈ угол между сторонами а и b.